The use of industrial-strength formal methods
نویسندگان
چکیده
Formal methods are used in a surprisingly wide variety of applications and ways throughout the world. While they may still be considered a niche market, there is growing evidence that they can be used successfully in industry if applied judiciously. This paper discusses some of the issues concerning the successful application of formal methods and surveys a number of examples of industrial usage, with a large bibliography for further reading on the state of the art in this area.
منابع مشابه
Developing BON as an Industrial-Strength Formal Method
The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendors as a universal software modelling language. Some researchers are also looking to UML as a basis for formal methods development. A less known approach is BON (the Business Object Notation), which is based on the principles of ...
متن کاملThe SCR Approach to Requirements Specification and Analysis
The Software Cost Reduction (SCR) requirements method is a practical, industrial-strength approach to requirements that leads to precise, unambiguous, and testable requirements specifications. The method scales to large applications, producing specifications that are both easy to understand and easy to change. Effectiveness of the SCR approach has been demonstrated in a variety of industrial, s...
متن کاملLayout Design of a Furniture Production Line Using Formal Methods
This paper experiments application of different heuristic approaches to a real facility layout problem at a furniture manufacturing company. All the models are compared using AHP, where a number of parameters of interest are employed. The experiment shows that formal layout modelling approaches can be effectively used real problems faced in industry, leading to significant improvements.
متن کاملStructuring Deduction by Using Abstractions
During the last decade a variety of industrial strength formal methods has emerged and has been applied to industrial test cases to demonstrate their adequacy and scalability. Formal techniques require a suu-cient tool support especially when dealing with proof obligations. The size and the complexity of the arising problems demand for techniques to structure the deduction. In this paper we pre...
متن کاملCan Graph Grammars Make Formal Methods More Human?
Formal methods are scarcely used in industrial applications. Industrial strength tools and educational effort do not significantly help in promoting formal methods. Main obstacles to the industrial application of formal methods are lack of flexibility, lack of specialization, and difficulties in interpreting analysis results. This paper argues that graph grammars can help overcoming such limita...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997